7 results
Assertion-based analysis via slicing with ABETS* (system description)
-
- Journal:
- Theory and Practice of Logic Programming / Volume 16 / Issue 5-6 / September 2016
- Published online by Cambridge University Press:
- 14 October 2016, pp. 515-532
-
- Article
- Export citation
A Brief Update on the CMZoom Survey
-
- Journal:
- Proceedings of the International Astronomical Union / Volume 11 / Issue S322 / July 2016
- Published online by Cambridge University Press:
- 09 February 2017, pp. 90-94
- Print publication:
- July 2016
-
- Article
-
- You have access
- Export citation
The link between solenoidal turbulence and slow star formation in G0.253+0.016
-
- Journal:
- Proceedings of the International Astronomical Union / Volume 11 / Issue S322 / July 2016
- Published online by Cambridge University Press:
- 09 February 2017, pp. 123-128
- Print publication:
- July 2016
-
- Article
-
- You have access
- Export citation
Effects of levosimendan on myocardial ischaemia–reperfusion injury
-
- Journal:
- European Journal of Anaesthesiology / Volume 25 / Issue 1 / January 2008
- Published online by Cambridge University Press:
- 01 January 2008, pp. 8-14
- Print publication:
- January 2008
-
- Article
- Export citation
CARA - The Center for Astrophysical Research in Antarctica
-
- Journal:
- Highlights of Astronomy / Volume 9 / 1992
- Published online by Cambridge University Press:
- 30 March 2016, p. 596
- Print publication:
- 1992
-
- Article
-
- You have access
- Export citation
On the structure and kinematics of molecular clouds from large scale mapping of mm-lines
-
- Journal:
- Symposium - International Astronomical Union / Volume 147 / 1991
- Published online by Cambridge University Press:
- 03 August 2017, pp. 11-20
- Print publication:
- 1991
-
- Article
-
- You have access
- Export citation
A multi-transition and multi-isotope study of CO in the giant molecular cloud Orion-A
-
- Journal:
- Symposium - International Astronomical Union / Volume 147 / 1991
- Published online by Cambridge University Press:
- 03 August 2017, pp. 405-406
- Print publication:
- 1991
-
- Article
-
- You have access
- Export citation